<?php

class PhpGtkDoc_Config_Exception extends PhpGtkDoc_Exception {
	
}
?>